(translation problem from online logic, midterm su17)

1. Rex went to the formal dance without taking a shower.

2. Suki won't be at the seance, although either Jack or Rex will be.

3. Unless Rex failed to go to the formal dance, he will not be at the seance.


Answer:

1. (P /\ ~Q)
2. (~R /\ (S \/ T))
3. (~P \/ ~T)

Only true in one valuation

P1 Q0 R0 S1 T0


tree:

    P |
      | Q
      | R
  S|      T|

|P  |T  |P   |T
X       X    X


